|
In mathematics, the Burnside ring of a finite group is an algebraic construction that encodes the different ways the group can act on finite sets. The ideas were introduced by William Burnside at the end of the nineteenth century, but the algebraic ring structure is a more recent development, due to Solomon (1967). ==Formal definition== Given a finite group ''G'', the elements of its Burnside ring ''Ω''(''G'') are the formal differences of isomorphism classes of finite ''G''-sets. For the ring structure, addition is given by disjoint union of ''G''-sets, and multiplication by their Cartesian product. The Burnside ring is a free Z-module, whose generators are the (isomorphism classes of) orbit types of ''G''. If ''G'' acts on a finite set ''X'', then one can write (disjoint union), where each ''X''''i'' is a single ''G''-orbit. Choosing any element ''x''''i'' in ''X''i creates an isomorphism ''G''/''G''''i'' → ''X''''i'', where ''Gi'' is the stabilizer (isotropy) subgroup of ''G'' at ''x''''i''. A different choice of representative ''y''''i'' in ''X''''i'' gives a conjugate subgroup to ''G''''i'' as stabilizer. This shows that the generators of ''Ω(G)'' as a Z-module are the orbits ''G''/''H'' as ''H'' ranges over conjugacy classes of subgroups of ''G''. In other words, a typical element of ''Ω''(''G'') is : where ''a''''i'' in Z and ''G''1, ''G''2, ..., ''G''''N'' are representatives of the conjugacy classes of subgroups of ''G''. 抄文引用元・出典: フリー百科事典『 ウィキペディア（Wikipedia）』 ■ウィキペディアで「Burnside ring」の詳細全文を読む スポンサード リンク
|